KOMPILE_FLAGS=-w none
KOMPILE_BACKEND=haskell

include ../../../include/kframework/ktest-fail.mak
